Asynchronous partitioning framework
نویسندگان
چکیده
A new general framework for agent cooperation and coordination in solving distributed constraint satisfaction problems (DCSPs) is presented. The Asynchronous Partitioning Framework (APF) first partitions agents into groups of agents, based on some heuristic, prior to any search being conducted. During the partitioning one of the agents in each group is assigned the role of a group leader. Next, two distinct types of searches among the agents are performed in parallel. The first type of search is conducted within each group, in parallel and asynchronously to all searches in other groups. The second type of search, the global search, is conducted between the groups, and treats each group as if it is a single agent represented by its group leader. The structure of the groups remains static throughout the search processes. Two distinct algorithms implementing APF and a correctness proof are presented, and the advantages of APF are evaluated experimentally.
منابع مشابه
Asynchronous circuit synthesis with Boolean satisfiability
Asynchronous circuits are widely used in many real time applications such as digital communication and computer systems. The design of complex asynchronous circuits is a diicult and error-prone task. An adequate synthesis method will signiicantly simplify the design and reduce errors. In this paper, we present a general and eecient partitioning approach to the synthesis of asynchronous circuits...
متن کاملA Modular Partitioning Approach for Asynchronous Circuit Synthesis y
Asynchronous circuits are widely used in many real time applications such as digital communication and computer systems. The design of complex asynchronous circuits is a di cult and error-prone task. An adequate synthesis method will signi cantly simplify the design and reduce errors. In this paper, we present a general and e cient partitioning approach to the synthesis of asynchronous circuits...
متن کاملEvaluating the Partitioning of GALS Systems Using Abstract System Level Modeling
The complexity of digital design and time-to-market have arose many challenges in synchronous design methodology; the need for high frequency and low skew clock distribution with its profound effect on final circuits take a lot of time and implementation cost. Asynchronous design methodology by eliminating global clock and replacing synchronization with handshaking is not yet much promising for...
متن کاملLarge-Scale High-Fidelity Agent-Based Simulation in Air Traffic Domain
We present the concept of dynamic partitioning of scalable, high-fidelity multi-agent simulation complemented with intelligent load-balancing processes. The simulation framework is designed to simulate entities to high details that require extended computation resources. To be able to simulate a huge amount of entities, distributed simulation is introduced using spatial partitioning and dynamic...
متن کاملAn asynchronous traversal engine for graph-based rich metadata management
Rich metadata in high-performance computing (HPC) systems contains extended information about users, jobs, data files, and their relationships. Property graphs are a promising data model to represent heterogeneous rich metadata flexibly. Specifically, a property graph can use vertices to represent different entities and edges to record the relationships between vertices with unique annotations....
متن کامل